<?php
/* dummy file for get_included_files_basic.phpt */
?>
